From 338e5c89600f6c8043653fe2bfa833f2b46d9957 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 16 Jun 2007 09:44:47 +0000 Subject: [PATCH] there is no such camlp4prof.opt to be installed --- debian/camlp4-extra.optfiles.in | 1 - 1 file changed, 1 deletion(-) diff --git a/debian/camlp4-extra.optfiles.in b/debian/camlp4-extra.optfiles.in index 705ae155..13419f72 100644 --- a/debian/camlp4-extra.optfiles.in +++ b/debian/camlp4-extra.optfiles.in @@ -2,4 +2,3 @@ usr/bin/camlp4of.opt usr/bin/camlp4rf.opt usr/bin/camlp4oof.opt usr/bin/camlp4orf.opt -usr/bin/camlp4prof.opt -- 2.30.2